$\forall$$p$:PosetSig, $a$, $b$:$\mid$$p$$\mid$. Dec($a$ $\leq$ $b$)